Neil Immerman - PDFSEARCH.IO - Document Search Engine

Neil Immerman
Results: 15

#	Item
1	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: marenas.sitios.ing.uc.cl - Date: 2013-04-26 05:57:03
2	On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman Add to Reading List Source URL: www.cs.upc.edu - Date: 2008-10-15 05:37:21
3	Finding Plans with Branches, Loops and Preconditions Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein Department of Computer Science University of Massachusetts, Amherst, MA 01003 {siddharth, immerman, shlom Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48
4	A Simple Inductive Synthesis Methodology and its Applications Shachar Itzhaky ∗ Sumit Gulwani Neil Immerman † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-03-18 09:33:12
5	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2010-11-02 16:08:26
6	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03
7	Finding Reductions Automatically Michael Crouch , Neil Immerman , and J. Eliot B. Moss Computer Science Dept., University of Massachusetts, Amherst {mcc,immerman,moss}@cs.umass.edu Abstract. We describe our progress Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2011-07-20 09:07:43
8	Directed Search for Generalized Plans Using Classical Planners∗ Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein Department of Computer Science University of Massachusetts Amherst Tianjiao Zhang Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Transitive closure Linked list Mathematics Applied mathematics Mathematical logic FO Finite model theory Tree
9	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-12-22 08:01:06 Applied mathematics Logic in computer science Nested word Words Formal methods Temporal logic Nesting Stack Model checking Theoretical computer science Automata theory Mathematical logic

UPDATE